- функциональная логика
- Engineering: functional logic
Универсальный русско-английский словарь. Академик.ру. 2011.
функциональная логика
Смотреть что такое "функциональная логика" в других словарях:
эмиттерно-функциональная логика — funkcinis loginis grandynas su susietais emiteriais statusas T sritis automatika atitikmenys: angl. emitter function logic vok. Emitterfunktionslogik, f rus. функциональная логическая схема с эмиттерными связями, f; эмиттерно функциональная… … Automatikos terminų žodynas
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
логика функциональная — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… … Словарь терминов логики
ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т … Современный философский словарь
функциональная логическая схема с эмиттерными связями — funkcinis loginis grandynas su susietais emiteriais statusas T sritis automatika atitikmenys: angl. emitter function logic vok. Emitterfunktionslogik, f rus. функциональная логическая схема с эмиттерными связями, f; эмиттерно функциональная… … Automatikos terminų žodynas
Логика второго порядка — в математической логике формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… … Википедия
логика многозначная — ЛОГИКА МНОГОЗНАЧНАЯ обобщение классической двузначной логики С2 Логика высказываний), посредством которого к обычным истинностным значениям «истина» и «ложь» добавляются другие истинностные значения. Именно на этом пути была впервые… … Энциклопедия эпистемологии и философии науки
Функциональная полнота — Функциональная полнота множества логических операций или булевых функций это возможность выразить все возможные значения таблиц истинности с помощью формул из элементов этого множества. Логика обычно использует такой набор операций:… … Википедия
Функциональная стилистика, или учение о функциональных стилях — – одно из центральных направлений стилистики, изучающее закономерности функционирования языка в различных сферах речевого общения, соответствующих тем или иным разновидностям деятельности и представляющих прежде всего функц. стили (см.), а также… … Стилистический энциклопедический словарь русского языка
